<?
session_start();
//print_r($_SESSION);

if( !isset($_SESSION["uid"]) ) {
	echo "<script> window.location = 'login.php'; </script>";
	exit;
}
?>